Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
251	An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-05-19 14:37:06 Mathematics Z notation Zermelo–Fraenkel set theory Ordinal numbers Constructible universe Ordinal analysis Consistency Forcing Proof theory Mathematical logic Logic
252	This is a slightly edited version of a paper that appeared at the High Confidence Medical Device Software and Systems (HCMDSS) Workshop, June 2–3, 2005, Philadelphia, PA. Proofs as a Substrate for Tool Integration Supp Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-06-08 15:23:55 Science Formal sciences Compiler construction Mathematical logic Proof theory Isabelle Compiler Mathematical proof Model checking Logic Mathematics Programming language implementation
253	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:00 Cut-elimination theorem Sequent Rule of inference First-order logic Formal proof Natural deduction Structural proof theory Logic Proof theory Mathematical logic
254	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
255	Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-07-19 18:40:19 Mathematical proof Equational logic Proof theory Theorem Automated theorem proving Mathematical induction Logic Mathematics Mathematical logic
256	The 5-and-10 problem and the tiling agents formalism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written duri Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-06 13:55:10 Knowledge Logic Eliezer Yudkowsky Transhumanists Formalism Mathematical proof Vacuous truth Mathematical logic Mathematics Singularitarianism
257	On Malliavin’s proof of H¨ormander’s theorem March 10, 2011 Martin Hairer Mathematics Department, University of Warwick Email: Add to Reading List Source URL: www.hairer.org Language: English - Date: 2011-03-10 06:31:00 Vectors Stochastic calculus Integral calculus Operator theory Functional analysis Malliavin calculus Frobenius theorem Vector bundle Heat equation Mathematical analysis Mathematics Algebra
258	Canonical Inference for Implicational Systems⋆ Maria Paola Bonacina⋆⋆1 and Nachum Dershowitz⋆ ⋆ ⋆2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:12 Theoretical computer science Logic in computer science Conditionals Rewriting Propositional calculus Necessity and sufficiency Mathematical proof Implicational propositional calculus Mathematics Logic Mathematical logic
259	Canonical Ground Horn Theories Maria Paola Bonacina1⋆ and Nachum Dershowitz2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13 Propositional calculus Boolean algebra Logic in computer science Semantics Mathematical proof Horn clause Negation Unification Interpretation Logic Mathematical logic Mathematics
260	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory

UPDATE